Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
31	From FOND to Probabilistic Planning: Guiding search for quality policies Alberto Camacho† , Christian Muise∗ , Akshay Ganeshen† , Sheila A. McIlraith† † Department of Computer Science, University of Toronto Dep Add to Reading List Source URL: www.haz.ca Language: English - Date: 2015-05-09 01:33:31 Probability Amyloidosis Logic Formal epistemology Non-classical logic Probabilistic logic Automated planning and scheduling PRNP Markov decision process Planning Domain Definition Language PP
32	Grammatical Inference and Machine Learning Approaches to Post-Hoc LangSec Sheridan S. Curley Dr. Richard E. Harang Add to Reading List Source URL: spw16.langsec.org Language: English - Date: 2016-06-06 10:35:50 Formal languages Cognitive science Academia Cognition Language identification in the limit Grammar induction Recurrent neural network Algorithmic learning theory Context-free grammar Regular language Context-free language Formal grammar
33	Formal Semantics and Ontologies Towards an Ontological Account of Formal Semantics Frank Loebe1,2 and Heinrich Herre2 1 Add to Reading List Source URL: fois08.dfki.de Language: English - Date: 2008-11-07 11:37:57 Ontology Semantic Web Information science Academia Logic Technical communication Computing Semantics Formal ontology Web Ontology Language Mereology
34	Using C Language Extensions for Developing Embedded Software: A Case Study Markus Voelter Arie van Deursen Add to Reading List Source URL: mbeddr.com Language: English - Date: 2016-08-09 05:22:44 Software engineering Computing Software Embedded system Unit testing Formal verification Interrupt Actor model Operating system Component-based software engineering C Real-time operating system
35	Verification of SAP reference models Boudewijn van Dongen Monique Jansen-Vullers Verification of SAP reference models Add to Reading List Source URL: bpm2005.loria.fr Language: English - Date: 2005-09-12 10:45:09 Formal methods Logic in computer science Business process modeling Conceptual model Modeling language Semantics Abstraction Operations research Computing Event-driven process chain
36	Microsoft Word - gmds2004Norm.doc Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2013-11-27 14:16:02 Ontology Information science Knowledge representation Technical communication Information Knowledge Semantic Web Upper ontology Formal ontology Barry Smith SNOMED CT Web Ontology Language
37	Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:01 Theoretical computer science Logic in computer science Formal methods Programming language semantics Models of computation Denotational semantics Process calculi Matthew Hennessy Semantics Maurice Nivat Bisimulation Negation
38	Counterparts in Language and Space - The S-Connection Approach Joana Hois and Oliver Kutz Formal Ontology in Information Systems 2008 Add to Reading List Source URL: fois08.dfki.de Language: English - Date: 2008-11-08 12:34:34 Knowledge representation Information science Cognition Knowledge Knowledge engineering Ontology Semantic Web Technical communication Relation Spatialtemporal reasoning
39	Using Philosophy to Improve the Coherence and Interoperability of Applications Ontologies: A Field Report on the Collaboration of IFOMIS and L&C Jonathan Simon and Barry Smith, PhD. Institute for Formal Ontology and Medi Add to Reading List Source URL: ontology.buffalo.edu Language: English - Date: 2004-01-29 05:11:36 Ontology Information science Knowledge representation Technical communication Semantic Web Information Knowledge Upper ontology Formal ontology Barry Smith Web Ontology Language Gene ontology
40	Judgments about spatio-temporal relations Thomas Bittner Qualitative Reasoning Group, Department of Computer Science, Northwestern University and Institute for Formal Ontology and Medical Information Science at the Univ Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2004-06-10 06:15:20 Ontology Geolocation Spatiotemporal database Spacetime Formal ontology Metaphysics Meaning philosophy of language) Philosophy